void printHTTPResponseHeader();
void printHTMLHead(void);
void printHTMLStyles();
void printHTMLEnd(void);


